combinatorial entailment